Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·11h·
Discuss: Hacker News
🎯Interactive Provers
Compressed data structures for Heegaard splittings
arxiv.org·5h
🕳️Persistent Homology
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·1d
🏗️Constructive Mathematics
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·1d·
Discuss: Hacker News
🔍Type Inference
Binary Search in a 2D Matrix
mmhaskell.com·2d
📐Error Bounds
Functional Abstract Interpretation
simon.peytonjones.org·1d·
Discuss: Hacker News
🔗Functional Compilers
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·1d
🎞️Tape Combinatorics
Cancellative Convex Semilattices
arxiv.org·5h
🔲Proof Irrelevance
A new look at twin reduction
cameroncounts.wordpress.com·1d
🔗Graph Isomorphism
Machine Learning Fundamentals: decision trees with python
dev.to·15h·
Discuss: DEV
🔗Topological Sorting
Cactus Language • Stylistics 4
inquiryintoinquiry.com·17h
🌳Context free grammars
Row Polymorphic Programming
stranger.systems·1d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
Finding Order-Preserving Subgraphs
arxiv.org·5h
🕸️Graph Algorithms
The great misunderstanding of the DRY principle
pmatteo.com·1d·
Discuss: Hacker News
💧Liquid Types
Historical highlights?
logicmatters.net·21h
🔀Category Theory
Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning
arxiv.org·5h
🌳Context free grammars
FSM Library for Embedded C Projects
hackster.io·2d
🦀Embedded Rust
From Equal Weights to Smart Weights: OTPO’s Approach to Better LLM Alignment
towardsdatascience.com·15h
🧮Kolmogorov Bounds
Billions of Edges per Second with Postgres
onesparse.com·14h·
Discuss: Hacker News
🗜️Graph Compression
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·12h
🔢Bitwise Algorithms